#include "panic.h"
#include "printf.h"
#include "uart.h"

void panic(const char *s) {
    printf("panic: %s\n", s);
    for (;;)
        ;
}
